🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Derek Elkins: Arithmetic Functions
hedonisticlearning.com·9h
⚔️Lean Theorem
Rewriting Modulo Traced Comonoid Structure
arxiv.org·2d
🔄Graph Rewriting
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·16h·
Discuss: Hacker News
⚡Dependent Rust
HigherOrderCO/HVM3
github.com·7h
🔗Functional Compilers
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·2d·
Discuss: www.blogger.com
📐Linear Algebra
What is a smooth manifold?
burttotaro.wordpress.com·1d
🕸️Algebraic Topology
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·13h
🔲Cellular Automata
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·16h
🔗Tailscale
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·11h·
Discuss: Hacker News
🕸️Neo4j
A better for loop?
cirw.in·1d
🦀Rust Macros
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·18h
🔐Cryptographic Archaeology
Scheme Basics
courses.cs.washington.edu·20h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·3d
🦀Rust Macros
the core of rust
jyn.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·2d·
Discuss: Hacker News
🌊Streaming Algorithms
It's okay to solve a problem twice
til.andrew-quinn.me·1h·
Discuss: Hacker News
⚡Proof Automation